least predicate transformer
英 [liːst ˈpredɪkət trænsˈfɔːmə(r)]
美 [liːst ˈpredɪkət trænsˈfɔːrmər]
【计】最小谓词转换子
双语例句
- Some properties of least predicate transformer, such as uniqueness, monotonicity are studied.
研究了最小谓词转换子所具有的一些性质，如唯一性，单调性等。